Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
146565
posts in
29.4
ms
no382001/prolog
: a minimal embeddable prolog interpreter based on van
Emden
's ABC algorithm
github.com
·
1d
·
Discuss:
Hacker News
🌳
Pratt Parsing
Implicitly
Parallel
Neuromorphic
Solver Design for Constraint Satisfaction Problems
arxiv.org
·
2d
🧮
SMT Solvers
Optimizing
a
function
nikita.galaiko.rocks
·
48m
⚖️
Y-Fast Tries
Why Not?
Solver-Grounded
Certificates
for Explainable Mission Planning
arxiv.org
·
2d
🧮
SMT Solvers
Constraint-driven
massing
exploration for architects
arxel.app
·
16h
·
Discuss:
Hacker News
📐
Computational Geometry
Adaptive
Neuro-Symbolic
Planning for precision
oncology
clinical workflows during mission-critical recovery windows
dev.to
·
10h
·
Discuss:
DEV
⚡
Incremental Computation
Differential
Logic
• 16
inquiryintoinquiry.com
·
16h
∘
Category Theory
The Proof Expression Problem,
Reimagined
Through Object-Oriented
Lenses
hackernoon.com
·
17h
🔗
Dependent Types
A “ChatGPT for
spreadsheets
” helps solve
difficult
engineering challenges faster
news.mit.edu
·
1d
💬
Prompt Engineering
Text
Compression
Can Help Secure Model
Weights
lesswrong.com
·
8h
🗜️
Columnar Compression
The
Purpose
of
Proofs
blog.computationalcomplexity.org
·
1d
·
Discuss:
blog.computationalcomplexity.org
✓
Formal Verification
Augmented adaptive learning-based prediction and
mixed-integer
nonlinear optimization for catalyst discovery in CO 2 -
to-methanol
process
sciencedirect.com
·
1d
📊
Optimization
Meet
SymTorch
: A PyTorch Library that
Translates
Deep Learning Models into Human-Readable Equations
marktechpost.com
·
1d
🔥
PyTorch
microsoft/Phi-4-reasoning-vision-15B
huggingface.co
·
13h
·
Discuss:
Hacker News
,
r/LocalLLaMA
🌀
Naiad
From
Lambdas
to Agents
dev.to
·
9h
·
Discuss:
DEV
⚓
Anchors
Terence
Tao
on doing math with AI
natemeyvis.com
·
1d
🔀
Procedural Generation
Math
Prompt:
True-False-True
denisegaskins.com
·
18h
🧮
SMT Solvers
Tutorial/example: deploy a simple go +
htmx
app on a
vps
haloy.dev
·
11h
·
Discuss:
r/htmx
📝
Poem
Programmable
Cryptography
(Part 1)
0xparc.org
·
4h
🔐
Cryptography
Addressing a type system
limitation
with
syntactic
sugar
futhark-lang.org
·
1d
📦
Serde
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help